english to logical expression translation